interface X2 : X